翻訳と辞書 Words near each other ・ Alger Theater ・ Alger Underwater Preserve ・ Alger, Ohio ・ Alger, Washington ・ Alger-Sullivan Lumber Company Residential Historic District ・ Algeria ・ Algeria A' national football team ・ Algebra ・ Algebra & Number Theory ・ Algebra (disambiguation) ・ Algebra (singer) ・ Algebra bundle ・ Algebra Colloquium ・ Algebra homomorphism ・ Algebra i Logika ・ Algebra of Communicating Processes ・ Algebra of physical space ・ Algebra of random variables ・ Algebra of sets ・ Algebra over a field ・ Algebra over an operad ・ Algebra Project ・ Algebra representation ・ Algebra tile ・ Algebra Universalis ・ Algebraic ・ Algebraic & Geometric Topology ・ Algebraic analysis ・ Algebraic character ・ Algebraic closure Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Algebra of Communicating Processes ： ウィキペディア英語版 Algebra of Communicating Processes The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially developed by Jan Bergstra and Jan Willem Klop in 1982,〔J.C.M. Baeten, (''A brief history of process algebra'' ), Rapport CSR 04-02, Vakgroep Informatica, Technische Universiteit Eindhoven, 2004〕 as part of an effort to investigate the solutions of unguarded recursive equations. More so than the other seminal process calculi (CCS and CSP), the development of ACP focused on the algebra of processes, and sought to create an abstract, generalized axiomatic system for processes,〔Bas Luttik, (''What is algebraic in process theory'' ), (Algebraic Process Calculi: The First Twenty Five Years and Beyond ), Bertinoro, Italy, August 1, 2005〕 and in fact the term ''process algebra'' was coined during the research that led to ACP. == Informal description == ACP is fundamentally an algebra, in the sense of universal algebra. This algebra provides a way to describe systems in terms of algebraic process expressions that define compositions of other processes, or of certain primitive elements. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Algebra of Communicating Processes」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.